Buscar
Mostrando ítems 1-10 de 141
A Fuzzy Logic Approach To Modelling The Passengers’ Flow And Dwelling Time
(2012-07-04)
The passengers’ flow and station dwell time estimation are important tasks for mass transit planning. However, classical methods are difficult to apply into some practical achievements. This paper presents a new approach ...
A Fuzzy Logic Inference Approach for the Estimation of the Passengers Flow Demand
(2016-07-02)
This paper presents a new approach that designs the flow of passengers in mass transportation systems in presence of uncertainties. One of the techniques used for the prediction of passenger demand is the origin- destination ...
A family of metainferential logics
(Taylor & Francis, 2019-01)
We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: K3, LP, ST or TS+. We will show that ...
Why a Logic is not only its Set of Valid InferencesPor qué una lógica no es solo un conjunto de inferencias válidas
(Sociedad Argentina de Análisis FIlosófico, 2021-11)
La idea principal que queremos defender en este artículo es que la pregunta acerca de qué es una lógica debería ser abordada de una manera especial cuando entran en juego las propiedades estructurales de la relación de ...
A fully classical truth theory characterized by substructural means
(Cambridge University Press, 2019-08)
We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid ...
Substructural logics, pluralism and collapse
(Springer, 2018-09)
When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into ...
A Hierarchy of Classical and Paraconsistent Logics
(Springer, 2019-04)
In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, ...
Modelling inference in argumentation through labelled deduction: Formalization and logical properties
(Springer, 2007-01)
Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a ...
A Logical FrameworkUn marco lógico
(Universidad de Valparaíso, 2013)